constructive proof

un. 构造性证明
[网络] 非构造性证明